provoSATeur+glucose

by S. Burg, O. Bringmann, and T. Kropf
In Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions B-2014-2. Department of Computer Science Series of Publications, 2014.